JPure: A Modular Purity System for Java David J. Pearce School of Engineering and Computer Science, Victoria University of Wellington, New Zealand Email:

Source URL: homepages.ecs.vuw.ac.nz

• Type theory
• Data types
• Object-oriented programming languages
• Object
• Program analysis
• Type system
• Iterator
• Const
• Method
• Objective-C
• Type signature
• Covariance and contravariance

A core data and behaviour language for E-LOTOS Alan Jeffrey Based on discussions at the COST 247 short term scientific mission attended by Hubert Garavel,. Guy Leduc, Charles Pecheur, Ricardo Pe˜na and Mihaela Sighirean

Source URL: ect.bell-labs.com

• Software engineering
• Computing
• Computer programming
• Data types
• Type theory
• C++
• Procedural programming languages
• ALGOL 68
• Type system
• C++ classes
• Subtyping
• Const

TRAINING • PUBLISHING • CONSULTING http://www.learn2develop.net AND101 – 2-Day Fundamentals of Android Programming using Android Studio Android is Google’s operating system for mobile devices. Using the Android

Source URL: dl.dropboxusercontent.com

Semantics for core Concurrent ML using computation types Alan Jeffrey Abstract This paper presents two typed higher-order concurrent functional programming languages, based on Reppy’s Concurrent ML. The first is a simp

Source URL: ect.bell-labs.com

• Theoretical computer science
• Logic in computer science
• Software engineering
• Formal methods
• Programming language semantics
• Models of computation
• Operational semantics
• Semantics
• Bisimulation
• Process calculus
• Programming language
• Transition system

C o n n e c t i n g G re a t M i n d s

Source URL: www.cin.ufpe.br

• Reasoning
• Deductive reasoning
• Programming paradigms
• Artificial intelligence
• Automated theorem proving
• Reasoning system
• Mathematical logic
• Knowledge representation and reasoning
• Computer science
• Logic programming
• Inference
• Natural deduction

A symbolic labelled transition system for coinductive subtyping of Fµ types Alan Jeffrey DePaul University Extended Abstract

Source URL: ect.bell-labs.com

• Type theory
• Object-oriented programming
• Polymorphism
• Subtyping
• Base
• Mathematics
• Structure

On Supporting Parallelism in a Logic Programming System V´ıtor Santos Costa1 1 CRACS and DCC-FCUP

Source URL: www.clip.dia.fi.upm.es

Discovering hypervisor overheads using micro and macrobenchmarks Andrea Bastoni, Daniel P. Bovet, Marco Cesati, and Paolo Palana System Programming Research Group University of Rome “Tor Vergata” Roma, Italy

Source URL: www.sprg.uniroma2.it

Robin Milner, Concurrency: interaction, bisimulation, naming Alan Jeffrey Bell Labs, Enabling Computing Technologies Research January 2011, ACM Principles of Programming Languages

Source URL: ect.bell-labs.com

• Process calculi
• Calculus of communicating systems
• Bisimulation
• Robin Milner
• Alcatel-Lucent
• Q0
• Transition system
• Communicating sequential processes
• Bell Labs
• Lucent

Helios web-based open-audit voting Ben Adida Harvard University IACR Voting System Session 19 August 2008

Source URL: assets.adida.net

• Software engineering
• Computer programming
• Computing
• Adida
• Voting system
• JavaScript